monotone sequence convergence